[IA64] Fix SMP Windows boot failure
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 18:19:57 +0000 (11:19 -0700)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 18:19:57 +0000 (11:19 -0700)
commit79ab1eb5ced87b1794a6ab2663140a9ace801510
treea9318a4083fdc454bd450ff7a29b421a72bce77e
parent01924b13c224f9ba995bef716556a7ea87a6d1f2
[IA64] Fix SMP Windows boot failure

Sometime SMP Windows can't boot, the root cause is guest timer interrupt
is lost.

This patch fixes following issues.
1. Windows uses different way to sync itc.
2. Previously when Guest timer fires and guest ITV is masked, XEN will
   desert this Guest timer interrupt. It is not correct for windows,
   windows may expect this timer interrupt.
3. Windows may use different way to set timer in some situations.
   Windows first sets itm (which may be smaller than current itc), and
   then sets itc (which is samller than itm).
   XEN can support this way to set timer.

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/asm-offsets.c
xen/arch/ia64/vmx/optvfault.S
xen/arch/ia64/vmx/vlsapic.c
xen/include/asm-ia64/vtm.h